Sharygina, L. I.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2017 IEEE HISTory of ELectrotechnolgy CONference (HISTELCON) - Kobe, Japan (2017.8.7-2017.8.8)] 2017 IEEE HISTory of ELectrotechnolgy CONference (HISTELCON) - Russian Investigations of Troposphere Radio Wave Propagation Over the Pacific Surface in the Second Half of the 20 th Century

Sharygin, German S., Sharygina, Liudmila I.

Year:

2017

Language:

english

File:

PDF, 3.77 MB

english, 2017

2

[IEEE 2015 ICOHTEC/IEEE International History of High-Technologies and their Socio-Cultural Contexts Conference (HISTELCON) - Tel-Aviv, Israel (2015.8.18-2015.8.19)] 2015 ICOHTEC/IEEE International History of High-Technologies and their Socio-Cultural Contexts Conference (HISTELCON) - Siberian electronics and cultural progress in the East Russia during the last century

Sharygin, German S., Sharygina, Liudmila I.

Year:

2015

Language:

english

File:

PDF, 896 KB

english, 2015

3

[IEEE 2010 Second IEEE Region 8 Conference on the History of Telecommunications (HISTELCON) - Madrid, Spain (2010.11.3-2010.11.5)] 2010 Second Region 8 IEEE Conference on the History of Communications - Long-distance tropospheric propagation investigations in USSR last century

Sharygin, German, Sharygina, Ludmila

Year:

2010

Language:

english

File:

PDF, 1.86 MB

english, 2010

4

Lessons Learned from Model Checking a NASA Robot Controller

Natasha Sharygina, James Browne, Fei Xie, Robert Kurshan, Vladimir Levin

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 579 KB

english, 2004

5

[IEEE 2010 Second IEEE Region 8 Conference on the History of Telecommunications (HISTELCON) - Madrid, Spain (2010.11.3-2010.11.5)] 2010 Second Region 8 IEEE Conference on the History of Communications - History of TV in Siberia

Sharygina, Ludmila I.

Year:

2010

Language:

english

File:

PDF, 2.40 MB

english, 2010

6

[IEEE 2014 24th International Crimean Conference "Microwave & Telecommunication Technology" (CriMiCo) - Sevastopol, Ukraine (2014.9.7-2014.9.13)] 2014 24th International Crimean Conference Microwave & Telecommunication Technology - Investigations of troposphere radiowave propagation over the Black Sea surface

Sharygin, G. S., Sharygina, L. I.

Year:

2014

File:

PDF, 519 KB

2014

7

Resolution proof transformation for compression and interpolation

Rollini, Simone Fulvio, Bruttomesso, Roberto, Sharygina, Natasha, Tsitovich, Aliaksei

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 1.17 MB

english, 2014

8

Validation of Evolving Software || Challenges of Existing Technology

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 98 KB

english, 2015

9

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - The synergy of precise and fast abstractions for program verification

Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei

Year:

2009

Language:

english

File:

PDF, 397 KB

english, 2009

10

An extension of lazy abstraction with interpolation for programs with arrays

Alberti, Francesco, Bruttomesso, Roberto, Ghilardi, Silvio, Ranise, Silvio, Sharygina, Natasha

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 1.02 MB

english, 2014

11

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Over-Approximating Boolean Programs with Unbounded Thread Creation

Cook, Byron, Kroening, Daniel, Sharygina, Natasha

Year:

2006

Language:

english

File:

PDF, 243 KB

english, 2006

12

[IEEE 2013 17th European Conference on Software Maintenance and Reengineering (CSMR 2013) - Genova (2013.3.5-2013.3.8)] 2013 17th European Conference on Software Maintenance and Reengineering - PINCETTE - Validating Changes and Upgrades in Networked Software

Chockler, H., Denaro, G., Meijia Ling,, Fedyukovich, G., Hyvrinen, A. E. J., Mariani, L., Muhammad, A., Oriol, M., Rajan, A., Sery, O., Sharygina, N., Tautschnig, M.

Year:

2013

Language:

english

File:

PDF, 511 KB

english, 2013

13

Validation of Evolving Software || Complementarities Among the Technologies Presented in the Book

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 175 KB

english, 2015

14

[ACM Press the 2009 International Conference - San Jose, California (2009.11.02-2009.11.05)] Proceedings of the 2009 International Conference on Computer-Aided Design - ICCAD '09 - A scalable decision procedure for fixed-width bit-vectors

Bruttomesso, Roberto, Sharygina, Natasha

Year:

2009

Language:

english

File:

PDF, 299 KB

english, 2009

15

Validation of Evolving Software || Function Summarization-Based Bounded Model Checking

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 470 KB

english, 2015

16

[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Automated, compositional and iterative deadlock detection

Chaki, S., Clarke, E., Ouaknine, J., Sharygina, N.

Year:

2004

Language:

english

File:

PDF, 1.64 MB

english, 2004

17

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs

Kroening, Daniel, Sharygina, Natasha

Year:

2007

Language:

english

File:

PDF, 152 KB

english, 2007

18

Validation of Evolving Software || Incremental Upgrade Checking

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 869 KB

english, 2015

19

A Framework for the Verification of Parameterized Infinite-state Systems*

Alberti, Francesco, Ghilardi, Silvio, Sharygina, Natasha, Giordano, Laura, Gliozzi, Valentina, Pettorossi, Alberto, Pozzato, Gian Luca

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 637 KB

english, 2017

20

[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 || First-Order Theorem Proving and Vampire

Sharygina, Natasha, Veith, Helmut

Year:

2013

Language:

english

File:

PDF, 436 KB

english, 2013

21

Decision Procedures for Flat Array Properties

Alberti, Francesco, Ghilardi, Silvio, Sharygina, Natasha

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 629 KB

english, 2015

22

Validation of Evolving Software || Optimizing Function Summaries Through Interpolation

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 199 KB

english, 2015

23

Validation of Evolving Software || RADAR: Dynamic Analysis of Upgrades in C/C++ Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

24

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Duality-based interpolation for quantifier-free equalities and uninterpreted functions

Alt, Leonardo, Hyvarinen, Antti E. J., Asadi, Sepideh, Sharygina, Natasha

Year:

2017

Language:

english

File:

PDF, 606 KB

english, 2017

25

[IEEE 2005 42nd Design Automation Conference - Anaheim, CA, USA (2005.06.13-2005.06.17)] Proceedings. 42nd Design Automation Conference, 2005. - Word level predicate abstraction and refinement for verifying RTL Verilog

Himanshu Jain,, Kroening, D., Sharygina, N., Clarke, E.

Year:

2005

Language:

english

File:

PDF, 1.29 MB

english, 2005

26

[IEEE 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2010.11.7-2010.11.11)] 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Flexible interpolation with local proof transformations

Bruttomesso, Roberto, Rollini, Simone, Sharygina, Natasha, Tsitovich, Aliaksei

Year:

2010

Language:

english

File:

PDF, 518 KB

english, 2010

27

Validation of Evolving Software || G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 810 KB

english, 2015

28

Flexible SAT-based framework for incremental bounded upgrade checking

Fedyukovich, Grigory, Sery, Ondrej, Sharygina, Natasha

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 2.57 MB

english, 2015

29

Validation of Evolving Software || Measuring Change Impact on Program Behaviour

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 452 KB

english, 2015

30

A model checking-based approach for security policy verification of mobile systems

Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 532 KB

english, 2011

31

Validation of Evolving Software || Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 1.60 MB

english, 2015

32

[ACM Press the 2014 International Symposium - San Jose, CA, USA (2014.07.21-2014.07.25)] Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014 - Verification-aided regression testing

Pastore, Fabrizio, Mariani, Leonardo, Hyvärinen, Antti E. J., Fedyukovich, Grigory, Sharygina, Natasha, Sehestedt, Stephan, Muhammad, Ali

Year:

2014

Language:

english

File:

PDF, 738 KB

english, 2014

33

Validation of Evolving Software || Regression Checking of Changes in C Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 619 KB

english, 2015

34

Exploiting partial variable assignment in interpolation-based model checking

Jančík, Pavel, Kofroň, Jan, Alt, Leonardo, Fedyukovich, Grigory, Hyvärinen, Antti E. J., Sharygina, Natasha

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 1.22 MB

english, 2019

35

Validation of Evolving Software || Lightweight Static Analysis Check of Upgrades in C/C++ Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 695 KB

english, 2015

36

Concurrent software verification with states, events, and deadlocks

Sagar Chaki, Edmund Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 379 KB

english, 2005

37

Guest Editorial

Natasha Sharygina

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 17 KB

english, 2004

38

[Publishing House of Electron. Ind International Radar Conference - Beijing, China (8-10 Oct. 1996)] Proceedings of International Radar Conference - Beyond-the-horizon target detection by bistatic radar

Golikov, A.M., Egorov, B.M., Tchesnokov, Yu.S., Sharygina, L.I.

Year:

1996

Language:

english

File:

PDF, 272 KB

english, 1996

39

Verification of evolving software via component substitutability analysis

Sagar Chaki, Edmund Clarke, Natasha Sharygina, Nishant Sinha

Journal:

Formal Methods in System Design

Year:

2008

Language:

english

File:

PDF, 702 KB

english, 2008

40

Predicate Abstraction of ANSI-C Programs Using SAT

Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 215 KB

english, 2004

41

[IEEE 2003 International Conference on Antenna Theory and Techniques ICATT'03 - Sevastopol, Ukraine (9-12 Sept. 2003)] 4th International Conference on Antenna Theory and Techniques (Cat. No.03EX699) - Generalized ambiguity matrix of a vector time-spatial radar signal

Sharygin, G.S., Khlusov, V.A., Sharygina, L.I.

Year:

2003

Language:

english

File:

PDF, 230 KB

english, 2003

42

[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - Verige: verification with invariant generation engine

Latorre, Nicolas, Alberti, Francesco, Sharygina, Natasha

Year:

2014

Language:

english

File:

PDF, 357 KB

english, 2014

43

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - Specification and verification of component-based systems 2007

Aldrich, Jonathan, Barnett, Mike, Giannakopoulou, Dimitra, Leavens, Gary T., Sharygina, Natasha

Year:

2007

Language:

english

File:

PDF, 439 KB

english, 2007

44

[IEEE 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Karlovy Vary (2013.4.8-2013.4.10)] 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Interpolation-based model checking for efficient incremental analysis of software

Fedyukovich, G., Hyvarinen, A. E. J., Sharygina, N.

Year:

2013

Language:

english

File:

PDF, 95 KB

english, 2013

45

[ACM Press the 42nd annual conference - San Diego, California, USA (2005.06.13-2005.06.17)] Proceedings of the 42nd annual conference on Design automation - DAC '05 - Word level predicate abstraction and refinement for verifying RTL verilog

Jain, Himanshu, Kroening, Daniel, Sharygina, Natasha, Clarke, Edmund

Year:

2005

Language:

english

File:

PDF, 587 KB

english, 2005

46

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog

Jain, H., Kroening, D., Sharygina, N., Clarke, E.M.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2008

Language:

english

File:

PDF, 418 KB

english, 2008

47

Loop summarization using state and transition invariants

Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.14 MB

english, 2013

48

An abstraction refinement approach combining precise and approximated techniques

Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 479 KB

english, 2012

49

[ACM Press the 8th international workshop - Amsterdam, The Netherlands (2009.08.25-2009.08.25)] Proceedings of the 8th international workshop on Specification and verification of component-based systems - SAVCBS '09 - An abstraction refinement approach combining precise and approximated techniques for efficient program verification

Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei

Year:

2009

Language:

english

File:

PDF, 225 KB

english, 2009

50

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Designing parallel PDR

Marescotti, Matteo, Gurfinkel, Arie, Hyvarinen, Antti E. J., Sharygina, Natasha

Year:

2017

Language:

english

File:

PDF, 582 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски